7. Randomized computation